Unsolved constraints
Unsolved metas at the following locations:
  NoPanic.agda:15,15-16
  NoPanic.agda:15,15-18
